21. Computational complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
22. Computer algebra: EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Algebra-- Congresses
رده :
QA
76
.
6
.
E81
1982
23. Computer architecture; conference proceedings, the 7th Annual Symposium on Computer Architecture. Sponsored by the IEEE Computer Society and the Association for Computing Machinery, May 6-8, 1980
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
S965
1980
24. Conference proceedings . The 3rd Annual Symposium on Computer Architecture;sponsored by the IEEE Computer Society and the Association for Computing Machinery, January 19-21, 1976
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
S965
1976
25. Constructing Progarms from specifications
پدیدآورنده: / Edited by B. Moller
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses
رده :
QA
76
.
6
.
I1779
1991
26. Constructing quality software: proceedings of the IFIP working conference on constructing quality software
پدیدآورنده: / edited by P. G. Hibbard, S. A. Schuman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming - Congresses,Programming languages (Electronic computers) - Congresses
رده :
001
.
6425
I23c
1977
27. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده: edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
28. Digest of papers, compcon Fall 76, thirteenth IEEE Computer Society International Conference September 7-10, May flower Hotel
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Congresses,، Electronic digital computers-- Programming,، Microprocessors-- Congresses
رده :
QA
76
.
5
.
C688
1976
29. ESOP '90
پدیدآورنده: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones )eds.(,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Programming languages )Electronic computers( - Congresses
رده :
QA
.
E976
76
.
6
1990
30. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده: edited by B. Robinet and R. Wilhelm
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
213
31. ESOP 86 : European Symposium on Programming, Saarbrغucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده: European Symposium on Programming, )1st, 6891, Saarbrucken, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1986
32. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
پدیدآورنده: European Symposium on Programming, )2nd, 8891, Nancy, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1988
33. ESOP' 90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18 1990: Proceedings
پدیدآورنده: N. Jones )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
E976
1990
34. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
پدیدآورنده: European Symposium on Programming, )3rd, 0991, Copenhagen, Denmark(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1990
35. ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings
پدیدآورنده: European Symposium on Programming, )4th, 2991, Rennes, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
E976
1992
36. Fachtagung Prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Process control-- Data processing-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
TS
156
.
8
.
F32
1974
37. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده: Von Gerhard Kruger und Rudiger Friehmelt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Data processing -- Congresses ، Process control,Congresses ، Electronic digital computers -- Programming
رده :
TS
156
.
8
.
F35
38. Formal description technique
پدیدآورنده: / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
39. Formal description techniques, II
پدیدآورنده: / Edited by Son T. Vuong
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
40. Formal description techniques III
پدیدآورنده: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
